Equational bases for P-compatible identities
نویسندگان
چکیده
منابع مشابه
Perfect Bases for Equational Theories
Perfect bases for equational theories are closely related to confluent and finitely terminating term rewrite systems. The two classes have a large overlap, but neither contains the other. The class of perfect bases is recursive. We also investigate a common generalization of both concepts; we call these more general bases normal, and touch the question of their uniqueness. We also give numerous...
متن کاملShort Equational Bases for Ortholattices
Short single axioms for ortholattices orthomodular lattices and mod ular ortholattices are presented all in terms of the She er stroke The ortholattice axiom is the shortest possible Other equational bases in terms of the She er stroke and in terms of join meet and complement are presented Proofs are omitted but are available in an associated tech nical report Computers were used extensively to...
متن کاملEquational Bases and Nonmodular Lattice Varieties ( ! )
This paper is focused on equational theories and equationally defined varieties of lattices which are not assumed to be modular. It contains both an elementary introduction to the subject and a survey of open problems and recent work. The concept of a "splitting" of the lattice of lattice theories is defined here for the first time in print. These splittings are shown to correspond bi-uniquely ...
متن کاملOn Binomial Identities in Arbitrary Bases
We first extend the digital binomial identity as given by Nguyen et al. to an identity in an arbitrary base b, by introducing the b-ary binomial coefficients. Then, we study the properties of these coefficients such as their orthogonality, their link with Lucas’ theorem and their extension to multinomial coefficients. Finally, we analyze the structure of the corresponding b-ary Pascal-like tria...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Demonstratio Mathematica
سال: 2010
ISSN: 2391-4661
DOI: 10.1515/dema-2013-0260